functionally invariant

函数不变式